منابع مشابه
Rapport technique du projet OGRE
This repport concerns automatic understanding of (french) iterative sentences, i.e. sentences where one single verb has to be interpreted by a more or less regular plurality of events. A linguistic analysis is proposed along an extension of Reichenbach's theory, several formal representations are considered and a corpus of 18000 newspaper extracts is described.
متن کاملrapport sur la realization du four a coke
le but etait de realiser un four pour pouvoir consommer, comme combustible, les debris du coke metallurgique de la siderurgie d'isphahan. ainsi, deux fours ont ete construits; l'un pour chauggage domestigue et l'autre, permettant d'atteindre une temperature plus elevee, pour les unites industrielles
متن کاملFiabilité du signal des circuits logiques combinatoires sous fautes simultanées multiples
Integrated circuits have known a constant evolution in the last decades, with increases in density and speed that followed the rates predicted by Moore's law. The tradeo s in area, speed and power, allowed by the CMOS technology, and its capacity to integrate analog, digital and mixed components, are key features to the dissemination of integrated circuits on the eld of telecommunications. In f...
متن کاملUne sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
This report specifies an observational semantics and gives an original presentation of the Byrd’s box model. The approach accounts for the semantics of Prolog tracers independently of a particular implementation. Traces are, in general, considered as rather obscure and difficult to use. The proposed formal presentation of a trace constitutes a simple and pedagogical approach for teaching Prolog...
متن کاملAspects logiques
Ceci est la version 6 de la deuxième partie du cours de lambda-calcul, datant du 05 avril 2016 (merci à Nathanaël Courant et à David Baelde). La version 5 datait du 02 juin 2014. La version 4 datait du 28 janvier 2011. (Bizarrement, je n’avais pas remarqué quelques erreurs présentes depuis dix ans dans la démonstration des théorèmes de normalisation forte. Merci à Hang Zhou et à Arthur Milchior...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Genre, sexualité et société
سال: 2009
ISSN: 2104-3736
DOI: 10.4000/gss.1087